Validation Led Development of Software Specifications
نویسندگان
چکیده
منابع مشابه
MODEL CHECKING AN OBJECT-ORIENTED DESIGN Validation Led Development of Software
The object-oriented design methodologies have focused on methods, tools and representations to build classes taking advantage of inheritance and encapsulation properties. Modelling of the interaction among the objects often does not go beyond the method declarations stage until the programming phase. Efforts to include object constraints in the object-oriented design to embody the behavioural c...
متن کاملFormal Specifications in Software Development: an Overview
Formal methods find increasing usage for system and software specifications . In this paper, we discuss some benefits resulting from the use of such methods, together with some properties shared by most of them. Some possible criteria for classification are also presented, and a tabular overview is given of some of the most well-known methods. A number of known formal methods are reviewed, and ...
متن کاملValidation of formal specifications
TLA (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. The purpose of this paper is to develop an animator and a model checker, both based on a subset of TLA, and illustrates how we can combine these tools to validate TLA specifications.
متن کاملImproving the Development and Validation of Viewpoint Specifications
This paper presents an overview of the application of ITU-SDL for the development of distributed systems according to the RM-ODP. The use of the advanced SITE tools for the simulation and prototype code generation of/from SDL specifications of computational as well as engineering objects is illustrated. The advantages of this approach are shown by applying it on the ODP trading function as an e...
متن کاملPtah: Validation Driven Software Development
We describe the motivation and concepts of a validation driven software development process (PTAH). It extends the use-case driven approach defined by Jacobsen et al. (1992) and the unified process described by Jacobsen et al. (1999) by actively integrating end users into the requirements specification and its direct evaluation. Our experience in software projects clearly shows that even graphi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Modelling and Simulation
سال: 2002
ISSN: 0228-6203,1925-7082
DOI: 10.1080/02286203.2002.11442225